Graph rewriting - PDFSEARCH.IO - Document Search Engine

Graph rewriting
Results: 134

#	Item
31	On Scenario Synchronization Duc-Hanh Dang1 , Anh-Hoang Truong1 , and Martin Gogolla2 1 University of Engineering and Technology, Vietnam National University of Hanoi, Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2010-06-09 06:21:16 UML diagrams Infographics Theoretical computer science Models of computation Graph rewriting State diagram Activity diagram Graph Unified Modeling Language Graph theory Diagrams Mathematics
32	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
33	Rule Execution in Graph-Based Incremental Interactive Integration Tools Simon M. Becker, Sebastian Lohmann, and Bernhard Westfechtel Department of Computer Science III, RWTH Aachen University Ahornstraße 55, DAac Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:23 Simulation Applied mathematics Bond graph Graph rewriting Graph theory Mathematics
34	Incremental Integration Tools for Chemical Engineering: An Industrial Application of Triple Graph Grammars Simon M. Becker and Bernhard Westfechtel Lehrstuhl f¨ur Informatik III, RWTH Aachen Ahornstraße 55, DAac Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:27 Combinatorics Integrator Theoretical computer science Mathematics Graph rewriting Graph theory
35	A Graph-Based Algorithm for Consistency Maintenance in Incremental and Interactive Integration Tools Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:22 Graph rewriting Graph Connectivity Pseudoforest Graph theory Mathematics Combinatorics
36	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Vincent Danos3 , Jérôme Feret4 , Walter Fontana5 , Russell Harmer1 , Jonathan Hayman4,2 , Jean Krivine1 , Chris Thompson-Walsh2 , and Glynn Winskel2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:23:09 Graph rewriting Formal languages Rewriting Graph Matching Theoretical computer science Mathematics Graph theory
37	HALF-YEAR ACADEMIC PROGRESS REPORT AprilSeptember 2012 This report marks the initiation of several new scientific activities at the Caesarea Edmond Benjamin de Rothschild Institute (CRI) at the University of Haif Add to Reading List Source URL: www.cri.haifa.ac.il Language: English - Date: 2014-12-17 09:56:18 Computational science Graph theory Visualization Personalization Ambient intelligence Graph rewriting User modeling Computer music University of Haifa Information science Science Mathematics
38	ISSNGRACE TECHNICAL REPORTS Bidirectionalizing Structural Recursion on Graphs Add to Reading List Source URL: grace-center.jp Language: English - Date: 2015-02-10 03:40:06 Rooted graph Graph operations Matroid theory Median graph Path decomposition Graph theory Mathematics Graph rewriting
39	Research Paper Progress in Informatics, No) Add to Reading List Source URL: www.biglab.org Language: English - Date: 2013-05-10 04:50:43 Graph rewriting Signed graph Graph operations Graph database Graph theory Mathematics Theoretical computer science
40	ISSNGRACE TECHNICAL REPORTS Bidirectionalizing Structural Recursion on Graphs Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-01-08 13:03:57 Rooted graph Graph operations Matroid theory Median graph Path decomposition Graph theory Mathematics Graph rewriting